n (logic|computing) A logical connective joining two or more predicates that yields the logical value "true" when at least one of the predicates is true.